Infinite sum relations on universal C*-algebras

We extend the usual theory of universal C*-algebras from generators and relations in order to allow some be described using strong operator topology. In particular, we can infinite sum relations. prove a property for algebras define show how Cuntz algebra isometries as well Exel-Laca Finally, give sufficient conditions when C*-algebra generated by projections partial is only norm relations, case one still wants avoid with respect